

+pos(_,_,_)
   <-	!define_new_pos.
   
   +!define_new_pos
   <- 
      do(down);
      do(up).
   